atpv detran